home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / SmallEiffel 0.3.3 / SmallEiffel 68k / lib_test / test_req.e < prev    next >
Encoding:
Text File  |  1996-06-13  |  474 b   |  43 lines  |  [TEXT/EDIT]
  1. class TEST_REQ
  2. --
  3. -- Test of REQuire Assertions.
  4. --
  5. creation {ANY}
  6.    make
  7.    
  8. feature {ANY}
  9.    
  10.    req_a: REQ_A;
  11.    req_b: REQ_B;
  12.    req_c: REQ_C;
  13.    req_d: REQ_D;
  14.       
  15.    make is
  16.       do
  17.      !!req_a;
  18.      req_a.ra;
  19.      
  20.      !!req_b;
  21.      req_b.set_bc('a');
  22.      req_b.ra;
  23.      
  24.      req_a.rb;
  25.      
  26.      req_b.set_bc('a');
  27.      req_b.ra;
  28.      req_b.set_bc('b');
  29.      req_b.rb;
  30.      
  31.      req_b.rc;
  32.      -- req_a.rc;
  33.      -- req_b.set_bc('c');
  34.      -- req_b.rb;
  35.      --     !!req_d;
  36.      --     req_d.rd;
  37.       end;
  38.  
  39. end -- TEST_REQ
  40.  
  41.  
  42.  
  43.